|
|
Formalization and Validation of Web Accessibility
Marcely, Peter ; Rychlý, Marek (referee) ; Očenášek, Pavel (advisor)
Users with different types of handicaps access web pages with wide scale of device. Thus, it is often difficult to develop web sites in order to be accessible for everyone. This thesis takes into consideration specific guidelines for accessible content of web pages as well as formalization of their rules and subsequent validation of these rules.
|
|
|
FORMAL MODEL OF DECISION MAKING PROCESS FOR HIGH-FREQUENCY DATA PROCESSING
Zámečníková, Eva ; Rábová, Ivana (referee) ; Šaloun, Petr (referee) ; Kreslíková, Jitka (advisor)
Tato disertační práce se zabývá problematikou zpracování vysokofrekvenčních časových řad. Zaměřuje se na návrh algoritmů a metod pro podporu predikce těchto dat. Výsledkem je model pro podporu řízení rozhodovacího procesu implementovaný do platformy pro komplexní zpracování dat. Model navrhuje způsob formalizace množiny podnikových pravidel, které popisují rozhodovací proces. Navržený model musí vyhovovat splnění požadavků na robustnost, rozšiřitelnost, zpracování v reálném čase a požadavkům ekonometriky. Práce shrnuje současné poznatky a metodologie pro zpracování vysokofrekvenčních finančních dat, jejichž zdrojem jsou nejčastěji burzy. První část práce se věnuje popisu základních principů a přístupů používaných pro zpracování vysokofrekvenčních časových dat v současné době. Další část se věnuje popisu podnikových pravidel, rozhodovacího procesu a komplexní platformy pro zpracování vysokofrekvenčních dat a samotnému zpracování dat pomocí zvolené komplexní platformy. Důraz je kladen na výběr a úpravu množiny pravidel, které řídí rozhodovací proces. Navržený model popisuje množinu pravidel pomocí maticové gramatiky. Tato gramatika spadá do oblasti gramatik s řízeným přepisováním a pomocí definovaných matic umožňuje ovlivnit zpracování dat.
|
|
|
Formalization of the deducibility relation of propositional fuzzy logics
Révay, Petr ; Běhounek, Libor (advisor) ; Urban, Josef (referee)
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic meta-theorems of this logic. It also provides a description of the process of formalization and describes the tools of Isabelle/HOL used in the code by simple examples. The separate chapter is devoted to the introduction to the logic BL. The formalization has been implemented after studying the documentation and choosing of the appropriate methods of Isabelle/HOL. The formalization allows the software to verify the proofs in the axiomatization of BL, and moreover, of the properties of the provability relation itself. Especially, the proof of the local deduction theorem has been formalized as well as the proofs of the theorems of BL, including the derivations of the redundant axioms BL2 and BL3. The major objective of this bachelor thesis is to explore the possibilities of the proof-checker Isabelle/HOL in terms of fuzzy logic BL. With respect to the obtained results the thesis can be used as the starting point of a wider project of formalization of the others fuzzy logics which are based on the logic BL. Powered by TCPDF (www.tcpdf.org)
|
|
|
FORMAL MODEL OF DECISION MAKING PROCESS FOR HIGH-FREQUENCY DATA PROCESSING
Zámečníková, Eva ; Rábová, Ivana (referee) ; Šaloun, Petr (referee) ; Kreslíková, Jitka (advisor)
Tato disertační práce se zabývá problematikou zpracování vysokofrekvenčních časových řad. Zaměřuje se na návrh algoritmů a metod pro podporu predikce těchto dat. Výsledkem je model pro podporu řízení rozhodovacího procesu implementovaný do platformy pro komplexní zpracování dat. Model navrhuje způsob formalizace množiny podnikových pravidel, které popisují rozhodovací proces. Navržený model musí vyhovovat splnění požadavků na robustnost, rozšiřitelnost, zpracování v reálném čase a požadavkům ekonometriky. Práce shrnuje současné poznatky a metodologie pro zpracování vysokofrekvenčních finančních dat, jejichž zdrojem jsou nejčastěji burzy. První část práce se věnuje popisu základních principů a přístupů používaných pro zpracování vysokofrekvenčních časových dat v současné době. Další část se věnuje popisu podnikových pravidel, rozhodovacího procesu a komplexní platformy pro zpracování vysokofrekvenčních dat a samotnému zpracování dat pomocí zvolené komplexní platformy. Důraz je kladen na výběr a úpravu množiny pravidel, které řídí rozhodovací proces. Navržený model popisuje množinu pravidel pomocí maticové gramatiky. Tato gramatika spadá do oblasti gramatik s řízeným přepisováním a pomocí definovaných matic umožňuje ovlivnit zpracování dat.
|
|
|
Formalization of the deducibility relation of propositional fuzzy logics
Révay, Petr ; Běhounek, Libor (advisor) ; Urban, Josef (referee)
This bachelor thesis presents the formalization of provability relation of fuzzy logic BL in the environment of a mathematical assistant Isabelle/HOL and also the computer-verified proofs of some theorems and syntactic meta-theorems of this logic. It also provides a description of the process of formalization and describes the tools of Isabelle/HOL used in the code by simple examples. The separate chapter is devoted to the introduction to the logic BL. The formalization has been implemented after studying the documentation and choosing of the appropriate methods of Isabelle/HOL. The formalization allows the software to verify the proofs in the axiomatization of BL, and moreover, of the properties of the provability relation itself. Especially, the proof of the local deduction theorem has been formalized as well as the proofs of the theorems of BL, including the derivations of the redundant axioms BL2 and BL3. The major objective of this bachelor thesis is to explore the possibilities of the proof-checker Isabelle/HOL in terms of fuzzy logic BL. With respect to the obtained results the thesis can be used as the starting point of a wider project of formalization of the others fuzzy logics which are based on the logic BL. Powered by TCPDF (www.tcpdf.org)
|
|
|
The Organizational Change of a Nonprofit Sports Organization (The Case Study of a Riding Club)
Svatá, Kristýna ; Pospíšilová, Tereza (advisor) ; Navrátil, Jiří (referee)
Sports organizations formed a significant part of the non-profit sector, not only in the Czech Republic. They are being overlooked of the academic world, however they offer interesting insights on organizational change. Overall, we can observe many forms of sports non-profit organizations in civil society, which differ in degree of proffesionalization, degree of formalization and the values they hold. This case study reveals the problems of local non-profit sports organization, which is undergoing a gradual change. This change is related to the development of the organization, after gradual change of values and objectives, the organization must now adapt corresponding structure. This study contains the recommendations specifically for this organization, however they can be used by other entities as well.
|
|
|
Formalization and Validation of Web Accessibility
Marcely, Peter ; Rychlý, Marek (referee) ; Očenášek, Pavel (advisor)
Users with different types of handicaps access web pages with wide scale of device. Thus, it is often difficult to develop web sites in order to be accessible for everyone. This thesis takes into consideration specific guidelines for accessible content of web pages as well as formalization of their rules and subsequent validation of these rules.
|
|
| |
guest ::
